$\vdash$  $\mathbb{B}$ $\in$ Type